Probabilistic proofs of non-probabilistic theorems